Computational Logic: 165 (Nato ASI Subseries F:)
by Ulrich Berger,Helmut Schwichtenberg
ISBN 13: 9783540645894
Format: Hardcover (460 pages) Publisher: Springer Published: 14 Apr 1999
Save for later
Computer Science Logic: 14th International Workshop, CSL 2000 Annual Conference of the EACSL Fischbachau, Germany, August 21-26, 2000 Proceedings: 1862 (Lecture Notes in Computer Science)
by Helmut Schwichtenberg,Peter G. Clote
ISBN 13: 9783540678953
Format: Paperback (564 pages) Publisher: Springer Published: 13 Jun 2008
Proof And Computation II: From Proof Theory And Univalent Mathematics To Program Extraction And Verification
by Klaus Mainzer,Peter Schuster,Helmut Schwichtenberg
ISBN 13: 9789811236471
Format: Hardcover (424 pages) Publisher: World Scientific Publishing Published: 27 Aug 2021